Casper FFG
Ethereum 2.0 Beacon chain
Papers/Specs
Paper: Combining GHOST and Casper (2020.3)
Vitalik Buterin (Ethereum Foundation), Diego Hernandez, Thor Kamphefner (SJSU), Khiem Pham (VinAI Research), Zhi Qiao (SJSU), Danny Ryan (Ethereum Foundation), Juhyeok Sin, Ying Wang, Yan X Zhang (SJSU)
Beacon chain specs
Previous spec: Beacon chain Casper mini-spec @ethresear.ch, Updated on 2019/1/3
Formal Verification
Verifying Gasper with Dynamic Validator Sets in Coq
GitHub Blog
Runtime Verification
Tutorials
Phase 0 Technical Deepdive SlidesVideo @DEVCON5 by EF Research Team
Casper FFG Explainer by Aditya
Casper FFG in Eth2.0 by Aditya
See also: Ethereum 2.0
Hybrid Casper FFG
Original White paper
Casper the Friendly Finality Gadget (2017)
Vitalik Buterin and Virgil Griffith
Formal Verification
Verification of Casper in the Coq Proof Assistant
Karl Palmskog Milos Gligoric (The University of Texas at Austin), Brandon Moore, Lucas Peña, Grigore Roşu (Runtime Verification, Inc.)
GitHub
See Formal verification of Hybrid Casper FFG
Economics
Incentives in Ethereum's Hybrid Casper Protocol
Vitalik Buterin, Daniel Reijsbergen, Stefanos Leonardos, Georgios Piliouras
IEEE ICBC'19 Video
Incentive Analysis of Casper the Friendly Finality Gadget as a PoW/PoS Hybrid Using PRESTO
Vitalik Buterin, Daniel Reijsbergen, Georgios Piliouras
Earlier draft by Vitalik and Reddit
Simulation, GitHub Repo
See Incentive analysis: Casper FFG
Tutorials
Ethereum PoS: Casper FFG 2017 Chronicles - BPASE '18 by Karl Slide Video
The BFT lens: Hot-Stuff and Casper Article by Dahlia
Proposals
Subjective finality
Casper FFG meets subjective finality @ethresear.ch by nrryuya.icon
Bouncing attack
Original Bounce-back-and-forth attacks by Alistair
Analysis of Bouncing Attack @ethresear.ch by nrryuya.icon
Prevention of Bouncing Attack @ethresear.ch by nrryuya.icon
Adopted in Eth2: spec
Prevention of Bouncing Attack on Casper FFG (Poster) by nrryuya.icon
FC'20 The slides of the poster
Epoch-less
Epoch-less Casper FFG liveness/safety argument
Back to epochful
Slashing condition
Casper FFG leniency tweak
This does not work with k-finality rule (Spec)
A tight and intuitive Casper slashing condition
Removing "source" by Jacob
Related comment by Virgil
A Simplified Look at Ethereum’s Casper @Medium, by Coinmonks
Validator rotation
Validator rotation without finalization
Rate-limiting entry/exits, not withdrawals
Weak subjectivity under the exit queue model
Exponential epoch backoff
Exponential epoch backoff
Tradeoffs with the Exponential Epoch Backoff
Light client
FFG and lightclients @ethresear.ch
See ETH2.0: Light client
Others
Proof of Stake with Casper the Friendly Finality Gadget Protocol for Fair Validation Consensus in Ethereum
Bharati Vidyapeeth Deemed To Be University, Smt. KashibaiNavale College of Engineerin
#Casper #PoS #Layer1